ma{-}has{-}sends($M$;$k$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$deq{-}member(KindDeq;$k$;map($\lambda$$p$.1of($p$);1of(1of(2of(2of(2of(2of(2of($M$)))))))))